Z(sqrt(-2) is a Euclidean domain)